Conference organization

Didier Rémy organized the October 2013 meeting of IFIP working group 2.8 “Functional programming”, which took place in Aussois, France.

Thomas Braibant participated in the organization of the LOLA 2013 workshop, associated with LICS 2013.

Editorial boards

Xavier Leroy is on the editorial board for the Research Highlights column of Communications of the ACM. He is a member of the editorial boards of Journal of Automated Reasoning, Journal of Functional Programming, and Journal of Formalized Reasoning.

Program committees

Xavier Leroy was a member of the program committee for VSTTE 2013, the conference on Verified Software: Theory, Tools and Experiments.

François Pottier was a member of the program committee for ESOP 2014, the European Symposium On Programming.

Steering committees

Xavier Leroy is a member of the steering committees for the Certified Programming and Proofs (CPP) conference and the Programming Languages meet Program Verification (PLPV) workshop.

François Pottier is a member of the steering committee for the ACM TLDI workshop.

Didier Rémy is a member of the steering committee of the OCaml Workshop.

Collective responsibilities

Damien Doligez chairs the Commission des actions de développement technologiques of Inria Paris-Rocquencourt.

Xavier Leroy is vice-président du comité des projets of Inria Paris-Rocquencourt and appointed member of Commission d'Évaluation. He participated in the following Inria hiring and promotion committees: jury d'admissibilité CR2 Paris-Rocquencourt (vice-chair, with Philippe Robert as chair); jury d'admissibilité DR2; promotions CR1, DR1, DR0. He was a member of the hiring committee for a Maître de conférences position at Université Rennes 1.

Luc Maranget chairs the Commission des utilisateurs des moyens informatiques – Recherche of Inria Paris-Rocquencourt.

François Pottier is a member of the post-doctoral hiring committee of Inria Paris-Rocquencourt. He was a member of the hiring committee for a Maître de conférences position at Université Paris Diderot.

Jonathan Protzenko curated the Junior Seminar of Inria Paris-Rocquencourt until June 2013, which marked the end of his two-year involvement in the seminar.

Didier Rémy represents Inria in the commission des études of the MPRI master, co-organized by U. Paris Diderot, ENS Cachan, ENS Paris, and École Polytechnique.